Experiences of Using the Pepa Performance Modelling Tools with a Non-repudiation Protocol
نویسندگان
چکیده
In this paper, we described a experience of using PEPA eclipse plug-in tool to specify a functional-equivalent representation of a non-repudiation protocol. The model is specified using Markovian process algebra PEPA. The basic model suffers from the well known state space explosion problem when tackled using Continues Time Markov Chain analysis. In order to modelling in a scalable way, functional rates has been adopted to avoid a unintended system behaviour. The functional rates have been specified in a CMDL (Chemical Model Definition Language) format which equivalently generated from the PEPA model by PEPA eclipse plug-in. This representation has been converted back to PEPA expression, and analyzed numerically.
منابع مشابه
Performance Modelling of Optimistic Fair Exchange
In this paper we explore the overhead introduced by secure functions in considering a case study in non-repudiation. We present a model of an optimistic fair exchange protocol specified using the Markovian process algebra PEPA and present results derived using a fluid approximation and stochastic simulation. This system poses an interesting performance problem in that the degree overhead of the...
متن کاملPractical applications of performance modelling of security protocols using PEPA
Trade-off between security and performance has become an intriguing area in recent years in both the security and performance communities. As the security aspects of security protocol research is fully-fledged, this thesis is therefore devoted to conducting a performance study of these protocols. The long term objective is to translate formal definitions of security protocols to formal performa...
متن کاملExperiences with the PEPA Performance Modelling Tools
The PEPA language [1] is supported by a suite of modelling tools which assist in the solution and analysis of PEPA models. The design and development of these tools have been influenced by a variety of factors, including the wishes of other users of the tools to use the language for purposes which were not anticipated by the tool designers. In consequence, the suite of PEPA tools has adapted to...
متن کاملAn efficient non-repudiation billing protocol in heterogeneous 3G-WLAN networks
The wireless communication with delivering variety of services to users is growing rapidly in recent years. The third generation of cellular networks (3G), and local wireless networks (WLAN) are the two widely used technologies in wireless networks. 3G networks have the capability of covering a vast area; while, WLAN networks provide higher transmission rates with less coverage. Since the two n...
متن کاملThe PEPA Performance Modelling Tools
The PEPA language 11] is supported by a suite of modelling tools which assist in the solution and analysis of PEPA models. The design and development of these tools have been innuenced by a variety of factors , including the wishes of other users of the tools to use the language for purposes which were not anticipated by the tool designers. The suite of PEPA tools has adapted and grown to attem...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009